翻訳と辞書
Words near each other
・ Quote Unquote Records
・ Quote... Unquote
・ Quote.com
・ Quote/commentary
・ Quoted Companies Alliance
・ Quoted-printable
・ QuoteWizard
・ Quoth
・ Quoth (EP)
・ Quothquan
・ Quotidian
・ Quotidiano di Sicilia
・ Quotidiano.net
・ Quotient
・ Quotient (disambiguation)
Quotient algebra
・ Quotient by an equivalence relation
・ Quotient category
・ Quotient filter
・ Quotient graph
・ Quotient group
・ Quotient module
・ Quotient of subspace theorem
・ Quotient ring
・ Quotient rule
・ Quotient space (linear algebra)
・ Quotient space (topology)
・ Quotient stack
・ Quotient type
・ Quotientable automorphism


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Quotient algebra : ウィキペディア英語版
Quotient algebra
In mathematics, a quotient algebra, (where ''algebra'' is used in the sense of universal algebra), also called a factor algebra, is obtained by partitioning the elements of an algebra into equivalence classes given by a congruence relation, that is an equivalence relation that is additionally ''compatible'' with all the operations of the algebra, in the formal sense described below.
== Compatible relation ==
Let ''A'' be a set (of the elements of an algebra \mathcal), and let ''E'' be an equivalence relation on the set ''A''. The relation ''E'' is said to be ''compatible'' with (or have the ''substitution property'' with respect to) an ''n''-ary operation ''f'' if for all a_1, a_2, \ldots, a_n, b_1, b_2, \ldots, b_n \in A whenever (a_1, b_1) \in E, (a_2, b_2) \in E, \ldots, (a_n, b_n) \in E implies (f (a_1, a_2, \ldots, a_n), f (b_1, b_2, \ldots, b_n)) \in E. An equivalence relation compatible with all the operations of an algebra is called a congruence.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Quotient algebra」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.